Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
421	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Efficient Monitoring of Safety Properties Klaus Havelund1 , Grigore Ro¸su2? 1 Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:18:10 Temporal logic Model theory Linear temporal logic Propositional calculus FO Interpretation General frame If and only if Mathematical logic Logic Mathematics
422	Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart Institut f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. This paper presents a construction for runtime monitors t Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:28 Formal methods Computer science Linear temporal logic Deterministic finite automaton Nondeterministic finite automaton Symbol Model theory Automata theory Models of computation Theoretical computer science
423	SALT—Structured Assertion Language for Temporal Logic Andreas Bauer, Martin Leucker? , and Jonathan Streit Institut f¨ ur Informatik, Technische Universit¨ at M¨ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:29 Temporal logic Logic in computer science Propositional calculus Formal methods Linear temporal logic Model checking First-order logic Formal verification Interval temporal logic Logic Mathematical logic Theoretical computer science
424	The Theory and Practice of SALT Andreas Bauer1 and Martin Leucker2 1 NICTA Canberra Research Lab and The Australian National University 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2011-02-20 17:19:51 Logical syntax Logic in computer science Linear temporal logic Model checking Propositional calculus First-order logic Logical connective LTL Proposition Logic Mathematical logic Temporal logic
425	Model-based runtime analysis of distributed reactive systems Andreas Bauer Martin Leucker Christian Schallhart Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2006-04-26 23:57:05 Logic in computer science Diagnosis Runtime verification Linear temporal logic Model checking Medical diagnosis Actor model Modal logic Temporal logic Logic Artificial intelligence Formal methods
426	Goal specification using temporal logic in presence of non-deterministic actions Chitta Baral Matt Barry Department of Computer Sc. and Engg. Advance Tech Development Lab Arizona State University Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2007-09-11 20:03:24 Mathematics Linear temporal logic CTL* Model theory Modal logic Structure Temporal logic Logic Mathematical logic
427	Tableaux for Verification of Data-Centric Processes Andreas Bauer, Peter Baumgartner, Martin Diller and Michael Norrish NICTA? and Australian National University, Canberra, Australia Abstract. Current approaches to analy Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2013-06-19 01:47:13 Model theory Formal languages Metalogic Linear temporal logic Temporal logic Logical syntax Interpretation First-order logic Symbol Logic Mathematical logic Mathematics
428	Bregman Divergence and Mirror Descent 1 Bregman Divergence Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2013-12-27 03:32:34 Mathematics Logic Analysis Linear temporal logic Functional analysis Distribution Interpretation
429	TUM ¨ R INFORMATIK INSTITUT FU Runtime verification revisited Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:37 Formal languages Computer science Applied mathematics Linear temporal logic Temporal logic Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Model theory Automata theory Theoretical computer science Models of computation

UPDATE